NProbability

NProbability[pred,xdist] gives the numerical probability for an event that satisfies the predicate pred under the assumption that x follows the probability distribution dist. 

NProbability[pred,{x1,x2,…}dist] gives the numerical probability that an event satisfies pred under the assumption that {x1,x2,…} follows the multivariate distribution dist. 

NProbability[pred,{x1dist1,x2dist2,…}] gives the numerical probability that an event satisfies pred under the assumption that x1, x2, … are independent and follow the distributions dist1, dist2, …. 

NProbability[pred1pred2,…] gives the numerical conditional probability of pred1 given pred2. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.